* doc/misc/htmlfontify.texi: Miscellaneous fixes and updates.
authorGlenn Morris <rgm@gnu.org>
Fri, 4 Jan 2013 09:39:40 +0000 (01:39 -0800)
committerGlenn Morris <rgm@gnu.org>
Fri, 4 Jan 2013 09:39:40 +0000 (01:39 -0800)
commit4f2ddca2382d2503f7094be941e74d3d61b1f726
treeeb90b74f109594d9bd10dd7a35371c2ed3da42e3
parent17d903fab128bba7abace3a6afefc5df15fe16ff
* doc/misc/htmlfontify.texi: Miscellaneous fixes and updates.
Set copyright to FSF, update license to GFDL 1.3+.
doc/misc/ChangeLog
doc/misc/htmlfontify.texi